Поисковый запрос: <.>R=50.07$<.> |
Общее количество найденных документов : 1706
Показаны документы с 1 по 10 |
|
>1.
| Сидорова Н.С.
Бисимуляционно-эквивалентные преобразования сетей Петри. - Ярославль. - 1998. - 51 с.: ил. -(Препринт; N1). - На рус.яз. - Российская Федерация. - Тираж 100 экз. ГРНТИ: 50.07.03 УДК: 681.3.019(04) Предметные рубрики: Петри сети
Аннотация: Рассмотрен класс преобразований сетей Петри, направленных на уменьшение размера сети и сохраняющих ее поведение в смысле бисимулярности, приведенные в работе алгоритмы проведения преобразований имеют полиномиальную сложность и позволяют значительно сократить суммарное время решения таких проблем достижимости в сетях Петри, при проведении "model-checking".
Держатели документа:
|
>2.
| Козюра В.Е.
Unfoldings of timed coloured petri nets. - Novosibirsk. - 2000. - 32 p.: il. -(Препринт; 82). - На англ.яз. - Российская Федерация. - Перед загл. авт.: V. E. Kozura. - Тираж 50 экз. ГРНТИ: 50.07.03 УДК: 004:519.179.2(04) Предметные рубрики: Петри сети
Перевод заглавия: Unfolding of timed coloured Petri nets Аннотация: В данной работе метод развертки применяется к РСП с интервальным временем и к РСП со временем, описанным в работах Йенсена. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета
Держатели документа:
|
>3.
| Лобанова Н.М.
Теоретические основы информационных технологий: Учеб.пособие Погибилев Ю.В., Дмитриев А.С. - М. - 2001. - 51 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.: Моск. гос. открытый ун-т. . - ISBN 5-7417-0179-5. - Тираж 500 экз. ГРНТИ: 50.07 УДК: 004 Предметные рубрики: Информационные технологии
Держатели документа:
|
>4.
| Гуляев В.А.
Автоматизация наладки и диагностирования микроУВК Кудряшов В.И. - М.: Энергоатомиздат. - 1992. - 255 с.: ил. - На рус.яз. - Российская Федерация. - ISBN 5-283-01526-2. - Тираж 3000 экз. ГРНТИ: 50.33.31; 50.07.07 УДК: 681.326.7 Предметные рубрики: Микро-ЭВМ управляющие
; Микро-ЭВМ управляющие
Перевод заглавия: Automation of diagnostics and debugging of control microcomputers Аннотация: Диагностические средства поиска неисправностей в микропроцессорных устройствах при производстве и эксплуатации. Алгоритмы поиска неисправностей и построения тестовых последовательностей
Держатели документа:
|
>5.
|
Структурные и сложностные проблемы вычислимости: Сб.науч.тр. Науч.ред.Ю.Л.Ершов,С.С.Гончаров. - Новосибирск. - 1999. - 208 с. -(Вычислительные системы Рос.АН.Сиб.отд-ние.Ин-т математики; 165). - На рус.яз. - Российская Федерация. - Тираж 220 экз. ГРНТИ: 50.07 УДК: 004.3 Предметные рубрики: Сложность вычислений
Держатели документа:
|
>6.
| Верещагин Н.К.
Языки и исчисления Шень А. - М.: МЦНМО. - 2000. - 286 с. -(Лекции по мат.логике и теории алгоритмов). -(Математическая логика и теория алгоритмов. Современные лекционные курсы). - На рус.яз. - Российская Федерация. - На обл.авт.не указ. - ISBN 5-900916-66-9. - Тираж 1000 экз. ГРНТИ: 50.07 УДК: 004:510 Предметные рубрики: Математическая логика
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики. Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает в себя около 200 задач различной трудности.
Держатели документа:
|
>7.
| Козюра В.Е.
Unfoldings of coloured Petri nets. - Novosibirsk. - 2000. - 34 p.: il. -(Препринт; 80(2000)). - На англ.яз. - Российская Федерация. - Перед загл. авт.: V.E.Kozura. - Тираж 50 экз. ГРНТИ: 50.07.03 УДК: 004:519.179.2(04) Предметные рубрики: Петри сети
Перевод заглавия: Unfoldings of coloured Petri nets Аннотация: В данной работе метод развертки применен к раскрашенным сетям Петри. Метод формально описан, приведены два алгоритма и три критерия финитизации. Также показано как применять метод развертки, используя спецификации симметрии или эквивалентности. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета
Держатели документа:
|
>8.
| Желтов В.П.
Стохастическая оптимизация расписания на сетях Петри Димитриев А.П. - Чебоксары. - 2001. - 213 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова. . - ISBN 5-7677-0528-3. - Тираж 100 экз. ГРНТИ: 50.07.03 УДК: 004:519.179.2 Предметные рубрики: Петри сети
Держатели документа:
|
>9.
| Старков Ф.А.
Графы. Приложение к исследованию сетевых структур: Учеб. пособие для студентов вузов по спец. "Програм. обеспечение вычисл. техники и автоматизир. систем", направления "Информатика и вычисл. техника" Томакова Р.А. - Курск. - 2001. - 147 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.:Кур. гос. техн. ун-т. . - ISBN 5-7681-0082-2. - Тираж 500 экз. ГРНТИ: 50.07 УДК: 004:519.17 Предметные рубрики: Графов теория
Держатели документа:
|
>10.
| Козюра В.Е.
Верификация раскрашенных сетей Петри методом проверки моделей Непомнящий В.А., Новиков Р.М. - Новосибирск. - 2001. - 24 с.: ил. -(Препринт; 89). - На рус.яз. - Российская Федерация. - Тираж 50 экз. ГРНТИ: 50.07.03 УДК: 004:519.179.2(04) Предметные рубрики: Петри сети
Перевод заглавия: Verification of coloured Petri nets by means check-up of models Аннотация: Для раскрашенных сетей Петри, ограниченных системами с конечным числом состояний, свойства которых представлены в мю-исчислении, разработана и реализована система верификации PNV (Petri net verifier), базирующаяся на методе проверки моделей. Наряду с описание системы PNV в работе представлены эксперименты по верификации раскрашенных сетей Петри, моделирующих битовый и кольцевой коммуникационные протоколы
Держатели документа:
|
|
|
|